Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun logic The grouping of a formal language and a set of inference rules and/or axioms.

Etymologies

Sorry, no etymologies found.

Support

Help support Wordnik (and make this page ad-free) by adopting the word formal system.

Examples

    Sorry, no example sentences found.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.